Teaching Programming and Design-by-Contract
نویسندگان
چکیده
is paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation. We discuss the data supporting the idea that a division in beginner and advanced groups improves the learning outcomes.
منابع مشابه
Touch of Class: Teaching introductory programming outside-in
The high rate of change in information technology forces educators regularly to reconsider the way they teach programming, including at the introductory level. When I was unexpectedly asked to devise a new, Eiffel-based program for teaching introductory programming at ETH Zurich, I tried to address the new challenges that await our students when they graduate, and applied a number of pedagogica...
متن کاملSolving a Two-Period Cooperative Advertising Problem Using Dynamic Programming
Cooperative advertising is a cost-sharing mechanism in which a part of retailers' advertising investments are financed by the manufacturers. In recent years, investment among advertising options has become a difficult marketing issue. In this paper, the cooperative advertising problem with advertising options is investigated in a two-period horizon in which the market share in the second period...
متن کاملStep by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
We document our experiences in teaching smart contract programming to undergraduate students at the University of Maryland, the first pedagogical attempt of its kind. Since smart contracts deal directly with the movement of valuable currency units between contratual parties, security of a contract program is of paramount importance. Our lab exposed numerous common pitfalls in designing safe and...
متن کاملA Framework for Programming Embedded Systems: Initial Design and Results
This paper describes CES, a proto-type of a new programming language for robots and other embedded systems, equipped with sensors and actuators. CES contains two new ideas, currently not found in other programming languages: support of computing with uncertain information, and support of adaptation and teaching as a means of programming. These innovations facilitate the rapid development of sof...
متن کاملA bi-level programming approach to coordinating pricing and ordering decisions in a multi-channel supply chain
This paper investigates the Stackelberg equilibrium for pricing and ordering decisions in a multi-channel supply chain. We study a situation where a manufacturer is going to open a direct online channel in addition to n existing traditional retail channels. It is assumed that the manufacturer is the leader and the retailers are the followers. The situation has a hierarchical nature and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1710.07956 شماره
صفحات -
تاریخ انتشار 2017